The publicly announced PhD position WP3.5 Formal Verification of Hybrid Systems has received 47 applicants. The selection committee has started it’s work and the goal is to start up the work with the selected candidate in Q3-2016.
Copy and paste this URL into your WordPress site to embed
Copy and paste this code into your site to embed